var searchData=
[
  ['degr',['degR',['../classColoringHeuristic.html#a3af684edbb71a7a430e05e3e79ec938c',1,'ColoringHeuristic']]],
  ['dspl',['dspl',['../classBitMapDirectlyAddressedSet_1_1BitMapIterator.html#a2108777a0c43ce84d14fcdf890ebff39',1,'BitMapDirectlyAddressedSet::BitMapIterator']]]
];
